Improving the Static Resolution of Dynamic Java Features
نویسندگان
چکیده
In Java software, two important flexibility mechanisms are dynamic class loading and reflection. Unfortunately, the vast majority of static analyses for Java handle these features either unsoundly or overly conservatively. Our work targets techniques that will increase static analyses’ ability to handle dynamic features in a more precise
منابع مشابه
Iranian TOEFL iBT and the IELTS Teachers’ Views on the Structure of the TOEFL iBT and IELTS Receptive and Productive Sections in terms of Dynamic and Static Assessment
This mixed-methods design study investigated Iranian TOEFL iBT and IELTS teachers’ views on thestructure of the TOEFL iBT and IELTS receptive and productive sections from the yardsticks of dynamic and static assessment. It also examined the conformity level of the receptive and productive sections of TOEFL iBT and IELTS to dynamic assessment and static assessment standards. To achieve the objec...
متن کاملThe Relationship of Core Strength with Static and Dynamic Balance in Children with Autism
Autism represents a disorder of neural development characterized by 3 features including deficit in social communication, inflexibility of speech and behavior, and stereotyped movements. The prevalence of this disorder has been reported about 1.5 per 100 individuals in Iran. Individuals with ASDs are susceptible to weakness in balance and stability and also postural deformities. Thus, the pur...
متن کاملOpencj: A research Java static compiler based on Open64
As Java becomes more pervasive in the programming landscape even in HPC applications, it is very important to provide optimizing compilers and more efficient runtime systems. To this end, we try to leverage the synergy between static and dynamic optimization to exploit more optimization chances and improve Java runtime performance especially for server applications. This paper presents our firs...
متن کاملSupporting Binary Compatibility with Static Compilation
There is an ongoing debate in the Java community on whether statically compiled implementations can meet the Java specification on dynamic features such as binary compatibility. Static compilation is sometimes desirable because it provides better code optimization, smaller memory footprint, more robustness, and better intellectual property protection. Unfortunately, none of the existing static ...
متن کاملStatic Analysis of Dynamic Languages
Dynamic programming languages are highly popular and widely used. JavaScript is often called the lingua franca of the web and it is the de facto standard for client-side web programming. On the server-side the PHP, Python and Ruby languages are prevalent. What these languages have in common is an expressive power which is not easily captured by any static type system. These, and similar dynamic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009